Câu ví dụ
- That was the first time I learned about program verification, I guess.
Là lần đầu tiên biết thế nào là viết kiểm điểm - Program verification: To err is human
Chương trình dịch sách 2 : TO ERR IS HUMAN - Port 0 also receives the code bytes during Flash programming, and outputs the code bytes during program verification.
Port 0 cũng nhận các byte mã trong khi lập trình cho Flash và xuất các byte mã trong khi kiểm tra chương trình. - Port 0 also receives the code bytes during Flash programming, and outputs the code bytes during program verification.
Port 0 cũng nhận các byte code (byte mã chương trình) khi lập trình Flash, và xuất ra các byte code khi kiểm tra chương trình. - 1 APPROACHES TO SOFTWARE TESTING PROGRAM VERIFICATION AND VALIDATION Validation: Are we building the right product?
Phân tích yêu cầu phần mềm Verification and Validation Kiểm chứng (Validation) Problem “Chúng ta đã xây dựng đúng hệ thống ?”